Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
831	COMS11700 Undecidability Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computability theory Theory of computation Alan Turing Turing machine Proof theory Undecidable problem Machine that always halts Decidability Church–Turing thesis Theoretical computer science Mathematics Mathematical logic
832	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
833	Sheet Instruction 1iii The year that the first Nobel prize was A awarded Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2011-01-09 17:47:57 Programming language theory Software engineering Mathematics Models of computation Mental arithmetic CLU Subtraction 1089
834	COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computer science Models of computation Computability theory Automata theory Finite-state machine Universal Turing machine Computability Theory of computation Turing machine Theoretical computer science
835	CS581 Theory of Computation Tim Sheard Portland State University Syllabus Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2013-03-29 16:45:43 Theory of computation Examinations Michael Sipser Willow Creek Homework Final examination Sheard Education Computational complexity theory Introduction to the Theory of Computation
836	2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Proof theory Models of computation Logic in computer science Symbol Lambda calculus Curry–Howard correspondence Dynamical system Theoretical computer science Computer science Mathematics
837	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
838	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
839	The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗ Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-08-27 10:54:53 Computability theory Theory of computation Lambda calculus Logic in computer science Decision problem Combinatory logic Profinite group Computability Henk Barendregt Theoretical computer science Mathematical logic Mathematics
840	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science

UPDATE